TAGs: Multiplication of integers